Pages that link to "Item:Q5369472"

The following pages link to Minimal paradefinite logics for reasoning with incompleteness and inconsistency (Q5369472):

Displaying 8 items.

• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
• Compositional meaning in logic (Q1682292) (← links)
• Four-valued paradefinite logics (Q1685565) (← links)
• Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
• Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
• Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)