Semantical analyses of propositional systems of Fitch and Nelson
From MaRDI portal
Publication:1237778
DOI10.1007/BF02123283zbMath0356.02022MaRDI QIDQ1237778
Publication date: 1974
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) General logic (03B99) Intermediate logics (03B55) Categoricity and completeness of theories (03C35)
Related Items (17)
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ On deductive bases for paraconsistent answer set semantics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Belnap Constants and Nelson Logic ⋮ Normal modal substructural logics with strong negation ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ A Kripke-style semantics for R-mingle using a binary accessibility relation ⋮ A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics ⋮ Constructive negation, implication, and co-implication ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) ⋮ Some investigations of varieties of \({\mathcal N}\)-lattices ⋮ A first order nonmonotonic extension of constructive logic ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic ⋮ Informational interpretation of substructural propositional logics
Cites Work
This page was built for publication: Semantical analyses of propositional systems of Fitch and Nelson
