Pages that link to "Item:Q1775862"

The following pages link to On the structure of paraconsistent extensions of Johansson's logic (Q1775862):

Displaying 10 items.

• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
• Canonical formulas for a paraconsistent analog of the Scott logic (Q431702) (← links)
• Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
• The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
• What is a non-truth-functional logic? (Q1037600) (← links)
• Classifying material implications over minimal logic (Q2204373) (← links)
• On models of paraconsistent logic with Kreisel-Putnam's and Scott's axioms (Q2454505) (← links)
• Maximal paraconsistent extension of Johansson logic (Q2770968) (← links)
• (Q5437780) (← links)
• Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)