Pages that link to "Item:Q1104309"

The following pages link to Constructive predicate logic with strong negation and model theory (Q1104309):

Displaying 21 items.

• A square of oppositions in intuitionistic logic with strong negation (Q346768) (← links)
• Subformula semantics for strong negation systems (Q584239) (← links)
• Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Negationless intuitionism (Q1267080) (← links)
• Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
• The identity of strong indiscernibility (Q2725730) (← links)
• Proof-irrelevant model of CC with predicative induction and judgmental equality (Q3224695) (← links)
• Constructive Logic with Strong Negation as a Substructural Logic (Q3583096) (← links)
• (Q3693517) (← links)
• On the Proof Method for Constructive Falsity (Q3812241) (← links)
• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION (Q4295249) (← links)
• Kripke Completeness of First-Order Constructive Logics with Strong Negation (Q4465165) (← links)
• Tableaux for logic programming with strong negation (Q4610313) (← links)
• SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
• Vagueness as an epiphenomenon, and non-transitivity (Q5048038) (← links)
• Why Paraconsistent Logics? (Q5213768) (← links)
• (Q5411478) (← links)
• Proof Search and Counter Model of Positive Minimal Predicate Logic (Q5415611) (← links)
• A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)
• A new logical characterisation of stable models and answer sets (Q6623793) (← links)