Pages that link to "Item:Q1237778"

The following pages link to Semantical analyses of propositional systems of Fitch and Nelson (Q1237778):

Displaying 15 items.

• Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) (Q809995) (← links)
• A first order nonmonotonic extension of constructive logic (Q813086) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
• Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022) (← links)
• A Kripke-style semantics for R-mingle using a binary accessibility relation (Q1226480) (← links)
• Informational interpretation of substructural propositional logics (Q1322438) (← links)
• Normal modal substructural logics with strong negation (Q1425193) (← links)
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
• Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
• Constructive negation, implication, and co-implication (Q3643320) (← links)
• On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)