On non-deterministic functional completeness
type: Item
instance of: scholarly article
title: On non-deterministic functional completeness
DOI: 10.1007/978-3-031-56595-3_3
author: Arnon Avron
publication date: 2024-10-24T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 7931586
MaRDI profile type: Publication
cites work: Q5311061
cites work: Multi-valued semantics: why and how
cites work: Q4686539
cites work: Q4539639
cites work: Non-deterministic Multiple-valued Structures
cites work: REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
cites work: Q4250060
cites work: Q4285924
cites work: Classical negation can be expressed by one of its halves
cites work: Q4329287
cites work: Logics of Formal Inconsistency
cites work: A semantical analysis of the calculi \(C_n\)
cites work: Q3773876
cites work: Q5752543
cites work: Quasi-matrix logic as a paraconsistent logic for dubitable information
cites work: Q5692875
cites work: Generalization of Kalmar's method for quasi-matrix logic
cites work: Modal semantics without possible worlds
cites work: Handbook of philosophical logic. Vol. 6
cites work: Q5812189
cites work: Syntactical and semantical properties of simple type theory
cites work: A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
description: scientific article; zbMATH DE number 7931586