Pages that link to "Item:Q3387888"
From MaRDI portal
The following pages link to Boolean Connexive Logics: Semantics and tableau approach (Q3387888):
Displayed 17 items.
- Axiomatization of some basic and modal Boolean connexive logics (Q2070430) (← links)
- An analysis of poly-connexivity (Q2157598) (← links)
- Tableaux for logics of content relationship and set-assignment semantics (Q2169132) (← links)
- Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems (Q5066087) (← links)
- History of Relating Logic. The Origin and Research Directions (Q5066088) (← links)
- Relating Semantics for Epistemic Logic (Q5066091) (← links)
- Incorporating the Relation into the Language? (Q5066092) (← links)
- Modal Boolean Connexive Logics: Semantics and Tableau Approach (Q5126195) (← links)
- Connexive logic, connexivity, and connexivism: remarks on terminology (Q6127183) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- Angell and McCall meet Wansing (Q6127187) (← links)
- Boolean connexive logic and content relationship (Q6127189) (← links)
- Situation-based connexive logic (Q6127191) (← links)
- Connexive negation (Q6127198) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
- Tableaux for some deontic logics with the explicit permission operator (Q6200442) (← links)
- A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions (Q6200457) (← links)