Pages that link to "Item:Q1896760"

The following pages link to Maximal weakly-intuitionistic logics (Q1896760):

Displaying 19 items.

• Limits for paraconsistent calculi (Q701299) (← links)
• Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
• Anti-intuitionism and paraconsistency (Q1775870) (← links)
• Paraconsistent logics and translations (Q1840969) (← links)
• Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
• Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
• Partial and paraconsistent three-valued logics (Q2987760) (← links)
• Rough Sets - Past, Present and Future: Some Notes (Q3300353) (← links)
• First order theory for literal-paraconsistent and literal-paracomplete matrices (Q3583806) (← links)
• Combining Valuations with Society Semantics (Q3647202) (← links)
• Twist-structures semantics for the logics of the hierarchy <i>IⁿP^k</i> (Q3647296) (← links)
• Society semantics and the logic way to collective intelligence (Q4586233) (← links)
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics (Q4999462) (← links)
• О критерии паранормальности для $n$-значных логических матриц (Q5059701) (← links)
• A lattice of the paracomplete calculi (Q5061413) (← links)
• Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик (Q5061421) (← links)
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
• Conservative translations (Q5935991) (← links)