scientific article; zbMATH DE number 3073052

J. Barkley Rosser, Atwell R. Turquette

Publication date: 1952

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

philosophy and foundations of mathematics

Related Items

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