Non-deterministic logic of generalized classical truth values

DOI10.1007/978-3-031-56595-3_4MaRDI QIDQ6623947FDOQ6623947

Authors: Oleg Grigor'ev, Yaroslav I. Petrukhin 

Publication date: 24 October 2024

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Cites Work

• From bi-facial truth to bi-facial proofs
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Trilattice of Constructive Truth Values
• Title not available (Why is that?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Title not available (Why is that?)
• Belnap's Four-Valued Logic and De Morgan Lattices
• Classical negation and expansions of Belnap-Dunn logic
• Cut-free sequent calculus and natural deduction for the tetravalent modal logic
• An abstract algebraic logic approach to tetravalent modal logics
• Hilbert-style presentations of two logics associated to tetravalent modal algebras
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• 40 years of FDE: an introductory overview
• Modal semantics without possible worlds
• Rational agency from a truth-functional perspective
• Title not available (Why is that?)
• Bi-facial truth: a case for generalized truth values
• Processing Information from a Set of Sources
• Title not available (Why is that?)
• Generalization of Kalmar's method for quasi-matrix logic
• Title not available (Why is that?)
• The logic of internal rational agent

This page was built for publication: Non-deterministic logic of generalized classical truth values

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