Pages that link to "Item:Q1239313"

The following pages link to Applications of Kripke models to Heyting-Brouwer logic (Q1239313):

Displaying 25 items.

• Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
• Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
• Some topological properties of paraconsistent models (Q484905) (← links)
• Semantic characterization of certain sets of intuitionistic logical connectives (Q584240) (← links)
• First-order da Costa logic (Q631523) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Model theory for an extension of intuitionistic logic (Q1239314) (← links)
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
• Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
• Anti-intuitionism and paraconsistency (Q1775870) (← links)
• Extensions of Priest-da Costa logic (Q2016069) (← links)
• Falsification-aware semantics and sequent calculi for classical logic (Q2078978) (← links)
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
• Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
• Constructive negation, implication, and co-implication (Q3643320) (← links)
• On Displaying Negative Modalities (Q4683222) (← links)
• Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations (Q5147749) (← links)
• Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
• On the Blok-Esakia Theorem (Q5255793) (← links)
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
• Bi-intuitionistic implication structures (Q5375872) (← links)
• The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
• Qualitative reasoning in a two-layered framework (Q6099380) (← links)
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)