Substructural nuclear (image-based) logics and operational Kripke-style semantics
From MaRDI portal
Cites work
- A semantic hierarchy for intuitionistic logic
- Algebraic methods in philosophical logic
- An interpretation of intuitionistic analysis
- Atomless Parts of Spaces.
- Closure operators and complete embeddings of residuated lattices
- Computational types from a logical perspective
- Corrigendum to “Kripke‐style semantics for many‐valued logics”
- Cover semantics for quantified lax logic
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Grothendieck Topology as Geometric Modality
- scientific article; zbMATH DE number 3122423 (Why is no real title available?)
- scientific article; zbMATH DE number 3685485 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 1028818 (Why is no real title available?)
- scientific article; zbMATH DE number 2079039 (Why is no real title available?)
- scientific article; zbMATH DE number 1478228 (Why is no real title available?)
- scientific article; zbMATH DE number 1916522 (Why is no real title available?)
- scientific article; zbMATH DE number 1406811 (Why is no real title available?)
- scientific article; zbMATH DE number 2196598 (Why is no real title available?)
- scientific article; zbMATH DE number 6276267 (Why is no real title available?)
- scientific article; zbMATH DE number 7644094 (Why is no real title available?)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Kripke‐style semantics for many‐valued logics
- Linear logic
- Locales, nuclei, and Dragalin frames
- Logics without the contraction rule
- Models for entailment
- Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
- Notions of computation and monads
- Proof search in lax logic
- Propositional lax logic
- Quantales and (noncommutative) linear logic
- Residuated frames with applications to decidability
- Residuated lattices. An algebraic glimpse at substructural logics
- Semantic analysis of orthologic
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Semantics for relevant logics
- Sequent-systems and groupoid models. I
- Sequent-systems and groupoid models. II
- SUBSTRUCTURAL INQUISITIVE LOGICS
- The logic of information structures
- The quest for the basic fuzzy logic
- The semantics of entailment. II
- The semantics of entailment. III
- Weakly implicative (fuzzy) logics. I: Basic properties
This page was built for publication: Substructural nuclear (image-based) logics and operational Kripke-style semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6597128)
