Substructural nuclear (image-based) logics and operational Kripke-style semantics

DOI10.1007/S11225-023-10069-YMaRDI QIDQ6597128FDOQ6597128

Authors: Eunsuk Yang 

Publication date: 3 September 2024

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

nucleussubstructural logicsalgebraic semanticsKripke-style semanticsnuclear (image-based) logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• The semantics of entailment. II
• The semantics of entailment. III
• The logic of information structures
• Algebraic methods in philosophical logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Linear logic
• Notions of computation and monads
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Weakly implicative (fuzzy) logics. I: Basic properties
• Quantales and (noncommutative) linear logic
• Title not available (Why is that?)
• Atomless Parts of Spaces.
• Semantic analysis of orthologic
• Propositional lax logic
• Cover semantics for quantified lax logic
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Sequent-systems and groupoid models. I
• Title not available (Why is that?)
• Semantics for relevant logics
• Logics without the contraction rule
• Corrigendum to “Kripke‐style semantics for many‐valued logics”
• Computational types from a logical perspective
• Models for entailment
• Sequent-systems and groupoid models. II
• Closure operators and complete embeddings of residuated lattices
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Title not available (Why is that?)
• Grothendieck Topology as Geometric Modality
• Kripke‐style semantics for many‐valued logics
• The quest for the basic fuzzy logic
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• Title not available (Why is that?)
• An interpretation of intuitionistic analysis
• Title not available (Why is that?)
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Title not available (Why is that?)
• A semantic hierarchy for intuitionistic logic
• Proof search in lax logic
• Locales, nuclei, and Dragalin frames
• Title not available (Why is that?)

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)