Basic Constructive Connectives, Determinism and Matrix-Based Semantics

DOI10.1007/978-3-642-22119-4_11zbMATH Open1333.03237OpenAlexW41388193MaRDI QIDQ3010364FDOQ3010364

Agata Ciabattoni, Anna Zamansky, Ori Lahav

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-deterministic Multiple-valued Structures
• Towards a semantic characterization of cut-elimination
• A short introduction to intuitionistic logic
• Logical connectives for intuitionistic propositional logic
• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• On Constructive Connectives and Systems

Cited In (3)

• Title not available (Why is that?)
• Two extensions of the structurally free logic LC
• Connection Matrices for MSOL-Definable Structural Invariants

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Matrices, primitive satisfaction and finitely based logics 👍 👎
• Explicit provability and constructive semantics 👍 👎
• Informational semantics, non-deterministic matrices and feasible deduction 👍 👎
• Semantic characterization of intuitionistic logical connectives 👍 👎
• Relating semantics for connexive logic 👍 👎
• Intuitionistic logical connectives on linear structures 👍 👎
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION 👍 👎
• On Constructive Connectives and Systems 👍 👎

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)