Logic and structure
From MaRDI portal
Publication:5904363
zbMath0434.03001MaRDI QIDQ5904363
Publication date: 1980
Published in: Universitext (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items (15)
Negative translations not intuitionistically equivalent to the usual ones ⋮ Using the prover ANDP to simplify orthogonality. ⋮ Revisiting \(\mathbb Z\) ⋮ Simplifying von Plato's axiomatization of constructive apartness geometry ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Automated deduction and knowledge management in geometry ⋮ A logical approach to A-Prolog ⋮ Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi ⋮ The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \) ⋮ Equivalence for the \(G_3^\prime\)-stable models semantics ⋮ Safe beliefs for propositional theories ⋮ On paraconsistent extensions of \(C_1\) ⋮ The calculus of natural calculation ⋮ Curry-Howard-Lambek correspondence for intuitionistic belief ⋮ On the graded acceptability of arguments in abstract and instantiated argumentation
This page was built for publication: Logic and structure
