Truth diagrams for some non-classical and modal logics

DOI10.1080/11663081.2024.2366752MaRDI QIDQ6650730

Can Başkent

Publication date: 9 December 2024

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Truth diagrams versus extant notations for propositional logic
• The logic of paradox
• Exploring the fruitfulness of diagrams in mathematics
• Paraconsistent logic: consistency, contradiction and negation
• Proofs without syntax
• Modal logic
• Public announcement logic in geometric frameworks
• A Prehistory of n-Categorical Physics
• A game theoretical semantics for a logic of formal inconsistency
• Game theoretical semantics for some non-classical logics
• Defining LFIs and LFUs in extensions of infectious logics
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
• Category Theory
• Connexive implication
• On systems containing Aristotle's thesis

This page was built for publication: Truth diagrams for some non-classical and modal logics

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