Handbook of philosophical logic. Vol. I: Elements of classical logic

zbMath0538.03001MaRDI QIDQ792991

No author found.

Publication date: 1983

Published in: Synthese Library (Search for Journal in Brave)

zbMATH Keywords

first-order logichigher-order logicrecursion theorypredicativityalternative semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05) Computability and recursion theory (03Dxx) Dictionaries and other general reference works (00A20)

Related Items (8)

THE QUANTIFIED ARGUMENT CALCULUS ⋮ The quantified argument calculus with two- and three-valued truth-valuational semantics ⋮ Logic and reasoning: do the facts matter? ⋮ A relational formulation of the theory of types ⋮ Alonzo church:his life, his work and some of his miracles ⋮ Unifying Reducts in Formal Concept Analysis and Rough Set Theory ⋮ Experimenting with Isabelle in ZF set theory ⋮ A computational procedure for variable selection preserving different initial conditions

This page was built for publication: Handbook of philosophical logic. Vol. I: Elements of classical logic