Basic Constructive Connectives, Determinism and Matrix-Based Semantics

DOI10.1007/978-3-642-22119-4_11MaRDI QIDQ3010364zbMATH OpenOpenAlexFDO

Authors Agata Ciabattoni, Ori Lahav, Anna Zamansky

Publication date 1 July 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22119-4_11

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Matrices, primitive satisfaction and finitely based logics
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• scientific article; zbMATH DE number 3891329
• Intuitionistic logical connectives on linear structures
• scientific article; zbMATH DE number 4081553
• Explicit provability and constructive semantics
• Semantic characterization of intuitionistic logical connectives
• On constructive connectives and systems
• Relating semantics for connexive logic
• Informational semantics, non-deterministic matrices and feasible deduction

Cites work

• scientific article; zbMATH DE number 5606348 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3349771 (Why is no real title available?)
• A short introduction to intuitionistic logic
• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• Logical connectives for intuitionistic propositional logic
• Non-deterministic Multiple-valued Structures
• On constructive connectives and systems
• Towards a semantic characterization of cut-elimination

Cited in

(5)

• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• On constructive connectives and systems
• scientific article; zbMATH DE number 7594103 (Why is no real title available?)
• Two extensions of the structurally free logic LC
• Connection Matrices for MSOL-Definable Structural Invariants

This page was built for publication: Basic Constructive Connectives, Determinism and Matrix-Based Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3010364)