Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...
Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia ...
Studia Logica: An International Journal for Symbolic Logic, Vol. 108, No. 1, Special Issue: Permissions, Obligations and Beyond (February 2020), pp. 5-47 (43 pages) This paper, being a companion to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback