Non-deterministic logic of generalized classical truth values
type: Item
instance of: scholarly article
title: Non-deterministic logic of generalized classical truth values
DOI: 10.1007/978-3-031-56595-3_4
author: Oleg Grigor'ev
author: Yaroslav I. Petrukhin
publication date: 2024-10-24T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 7931587
MaRDI profile type: Publication
cites work: Q4085699
cites work: Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
cites work: Processing Information from a Set of Sources
cites work: Q4539639
cites work: Q3206928
cites work: Hilbert-style presentations of two logics associated to tetravalent modal algebras
cites work: Classical negation and expansions of Belnap-Dunn logic
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Cut-free sequent calculus and natural deduction for the tetravalent modal logic
cites work: Belnap's Four-Valued Logic and De Morgan Lattices
cites work: An abstract algebraic logic approach to tetravalent modal logics
cites work: Q5752543
cites work: Generalization of Kalmar's method for quasi-matrix logic
cites work: Modal semantics without possible worlds
cites work: Rational agency from a truth-functional perspective
cites work: 40 years of FDE: an introductory overview
cites work: The Logic of Internal Rational Agent
cites work: Q5661846
cites work: The Trilattice of Constructive Truth Values
cites work: Some useful 16-valued logics: How a computer network should think
cites work: Truth and falsehood. An inquiry into generalized logical values
cites work: From bi-facial truth to bi-facial proofs
cites work: Q3108631
cites work: Q5692799
cites work: Bi-facial truth: a case for generalized truth values
description: scientific article; zbMATH DE number 7931587