Pages that link to "Item:Q5486243"
From MaRDI portal
The following pages link to The geometry of non-distributive logics (Q5486243):
Displaying 17 items.
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- A discrete duality between nonmonotonic consequence relations and convex geometries (Q2183103) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Logical geometries and information in the square of oppositions (Q2258819) (← links)
- Geometric nontermination arguments (Q2324233) (← links)
- Logic of differential calculus and the Zoo of geometric structures (Q2957381) (← links)
- (Q3080425) (← links)
- Multi-valued Logic for a Point-Free Foundation of Geometry (Q3295804) (← links)
- (Q4733864) (← links)
- Notes on the geometry of logic and philosophy (Q4803968) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)
- BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE (Q5176164) (← links)
- (Q5215789) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS (Q5737955) (← links)