Semantical analyses of propositional systems of Fitch and Nelson
From MaRDI portal
Publication:1237778
DOI10.1007/BF02123283zbMATH Open0356.02022MaRDI QIDQ1237778FDOQ1237778
Publication date: 1974
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Categoricity and completeness of theories (03C35) General logic (03B99)
Cites Work
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Constructible falsity
- A semantical study of constructible falsity
- A decision procedure for Fitch's propositional calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (18)
- Constructive negation, implication, and co-implication
- Inference rules in Nelson's logics, admissibility and weak admissibility
- On deductive bases for paraconsistent answer set semantics
- Belnap Constants and Nelson Logic
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
- A first order nonmonotonic extension of constructive logic
- Some investigations of varieties of \({\mathcal N}\)-lattices
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Normal modal substructural logics with strong negation
- A variant of Thomason's first-order logic CF based on situations
- Nelson algebras, residuated lattices and rough sets: A survey
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Informational interpretation of substructural propositional logics
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
This page was built for publication: Semantical analyses of propositional systems of Fitch and Nelson
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1237778)