scientific article; zbMATH DE number 3073052
From MaRDI portal
Publication:5812189
zbMath0047.01503MaRDI QIDQ5812189
Publication date: 1952
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (57)
Solution to a Problem of Rose and Rosser ⋮ An extension of the stable semantics via Lukasiewicz logic ⋮ About probability-like measures for entire theories ⋮ Analytic tableaux for non-deterministic semantics ⋮ Normal forms for fuzzy logic functions and their approximation ability ⋮ Remarks on a theorem of McGee ⋮ A new approach for fuzzy topology. I ⋮ Fuzzification of strongly and locally strongly compact spaces ⋮ Three-valued derived logics for classical phase spaces ⋮ On finite-valued propositional logical calculi ⋮ An intrinsic fuzzy set on the universe of discourse of predicate formulas ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz ⋮ L.P.L. A fuzzy programming language. I: Syntactic aspects ⋮ Institutions for SQL database schemas and datasets ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ A three-valued Fregean quantification logic ⋮ L.P.L. - A fuzzy programming language. II: Semantic aspects ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ Generalizable Kleene Logics ⋮ On the question of the criteria for the paracompleteness of logics ⋮ Non-transitive correspondence analysis ⋮ \(\alpha \)-irresoluteness and \(\alpha \)-compactness based on continuous valued logic ⋮ Referentiality and matrix semantics ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ Łukasiewicz and His Followers in Many-Valued Logic ⋮ Many-Valued Logics in the Iberian Peninsula ⋮ Extending Montague's system: A three valued intensional logic ⋮ Anshakov-Rychkov algebras ⋮ Quantification for Peirce's preferred system of triadic logic ⋮ Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package ⋮ Formal axiomatic theories based on a three-valued logic ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) ⋮ A map of dependencies among three-valued logics ⋮ Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices ⋮ Fuzzy topology based on residuated lattice-valued logic ⋮ A method of axiomatization of Lukasiewicz logics ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem ⋮ Locally \(\alpha\)-compact spaces based on continuous valued logic ⋮ On the problem of imprecision ⋮ \(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic ⋮ Towards a theory of conservative computing ⋮ A Strong Completeness Theorem for the Gentzen systems associated with finite algebras ⋮ SOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC ⋮ Characterization of prime numbers in Łukasiewicz's logical matrix ⋮ Classic-Like Analytic Tableaux for Finite-Valued Logics ⋮ Simplicity vis-a-vis functional completeness ⋮ Fragments of Many-Valued Statement Calculi ⋮ Beyond three inferential values ⋮ Self-dual binary and ternary connectives for \(m\)-valued propositional calculi ⋮ Bounded contraction and Gentzen-style formulation of Łukasiewicz logics ⋮ Factor semantics for n-valued logics ⋮ Fuzzifying topologies on the space of linear operators ⋮ Monoidal closed categories, weak topoi and generalized logics
This page was built for publication:
