A theorem about infinite-valued sentential logic

DOI10.2307/2268660zbMath0043.00901OpenAlexW1989632075WikidataQ106866930 ScholiaQ106866930MaRDI QIDQ5804993

Robert McNaughton

Publication date: 1951

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268660

zbMATH Keywords

foundations, philosophy, logic

Related Items (only showing first 100 items - show all)

Łukasiewicz Games ⋮ Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability ⋮ Yosida frames in free abelian \(\ell \)-groups ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Fuzzy logics – quantitatively ⋮ THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS ⋮ Bratteli diagrams via the De Concini–Procesi theorem ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Adding structure to MV-algebras ⋮ A theorem about infinite-valued sentential logic ⋮ Free algebras in varieties of BL-algebras generated by a BL_n-chain ⋮ Unnamed Item ⋮ Integrated semantics and logic metric spaces ⋮ Priestley duality for MV-algebras and beyond ⋮ Convex MV-algebras: many-valued logics meet decision theory ⋮ Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus ⋮ On monadic MV-algebras ⋮ 1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Every Abelian \(\ell\)-group with two positive generators is ultrasimplicial ⋮ Ordered group-valued probability, positive operators, and integral representations ⋮ Modal definability based on Łukasiewicz validity relations ⋮ On the Complexity of Non-reversible Betting Games on Many-Valued Events ⋮ On normal forms in Łukasiewicz logic ⋮ A characterization of truth-functions in the nilpotent minimum logic ⋮ Computing on Lattice-Ordered Abelian Groups ⋮ Jan Łukasiewicz Life, Work, Legacy ⋮ Normal forms for fuzzy logic functions and their approximation ability ⋮ Averaging the truth-value in Łukasiewicz logic ⋮ Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual ⋮ Satisfiability in many-valued sentential logic is NP-complete ⋮ A note on infinitary continuous logic ⋮ A finite axiomatization of positive MV-algebras ⋮ Bernoulli automorphisms of finitely generated free MV-algebras ⋮ Extension of belief functions to infinite-valued events ⋮ Free products in the category of Abelian \(\ell\)-groups with strong unit ⋮ Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction ⋮ Word problems in Elliott monoids ⋮ A constructive proof of McNaughton's theorem in infinite-valued logic ⋮ Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras ⋮ Towards understanding the Pierce-Birkhoff conjecture via MV-algebras ⋮ Many-valued logic and mixed integer programming ⋮ A geometric proof of the completeness of the Łukasiewicz calculus ⋮ Normal forms for fuzzy logics: a proof-theoretic approach ⋮ Łukasiewicz logic and Riesz spaces. ⋮ An analysis of the logic of Riesz spaces with strong unit ⋮ A Calculus for Rational Łukasiewicz Logic and Related Systems ⋮ Notes on divisible MV-algebras ⋮ The free \(n\)-generated BL-algebra ⋮ Łukasiewicz and His Followers in Many-Valued Logic ⋮ Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ States in Łukasiewicz logic correspond to probabilities of rational polyhedra ⋮ Complexity of fuzzy answer set programming under Łukasiewicz semantics ⋮ Semi-normal forms and functional representation of product fuzzy logic. ⋮ Optimal strategic reasoning with McNaughton functions ⋮ The nature of the extended analog computer ⋮ Forcing in Łukasiewicz predicate logic ⋮ An efficient algorithm for representing piecewise linear functions into logic ⋮ Skolemization and Herbrand theorems for lattice-valued logics ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ On a certain formalization of antonyms logic ⋮ Expressivity in chain-based modal logics ⋮ MV-algebras, infinite dimensional polyhedra, and natural dualities ⋮ Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik ⋮ Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre ⋮ A discrete representation of free MV-algebras ⋮ Automated theorem proving for Łukasiewicz logics ⋮ Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic ⋮ MV-algebras with internal states and probabilistic fuzzy logics ⋮ Non-reversible betting games on fuzzy events: complexity and algebra ⋮ Measuring and repairing inconsistency in knowledge bases with graded truth ⋮ Functional representation of finitely generated free algebras in subvarieties of BL-algebras ⋮ A method of axiomatization of Lukasiewicz logics ⋮ Dual counterparts of Lukasiewicz's sentential calculi ⋮ Representation and extension of states on MV-algebras ⋮ On subquasivariety lattices of semi-primal varieties ⋮ Note on the construction of free MV-algebras ⋮ ON THE NOTION OF RELEVANCE IN INFORMATION RETRIEVAL ⋮ Continuous logic – I. Basic concepts ⋮ Generalized rough approximations in Ł\(\Pi \frac{1}{2}\) ⋮ S-algebras and the degrees of maximality for three and four valued logics of Lukasiewicz ⋮ The coherence of Łukasiewicz assessments is NP-complete ⋮ Degrees of maximality of Łukasiewicz-like sentential calculi ⋮ An asymptotically tight bound on countermodels for Łukasiewicz logic ⋮ On Free MV-Algebras ⋮ On structural completeness of many-valued logics ⋮ Generic substitutions ⋮ The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete ⋮ A discrete free MV-algebra over one generator ⋮ A Strong Completeness Theorem for the Gentzen systems associated with finite algebras ⋮ Formalisations of further ℵ₀-valued Łukasiewicz propositional calculi ⋮ Characterization of prime numbers in Łukasiewicz's logical matrix ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ A game-based formal system for Ł\(_\infty\) ⋮ The complexity of McNaughton functions of one variable ⋮ Resolution and model building in the infinite-valued calculus of Łukasiewicz ⋮ Implicit definability of truth constants in Łukasiewicz logic ⋮ Fragments of Many-Valued Statement Calculi ⋮ Łukasiewicz logics for cooperative games ⋮ Piecewise-Linear Neural Networks and Their Relationship to Rule Extraction from Data

Cites Work

• Unnamed Item
• On fuzzy type theory
• A comprehensive theory of trichotomous evaluative linguistic expressions
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Fuzzy logic with countable evaluated syntax revisited
• Paraconsistent semantics for Pavelka style fuzzy sentential logic
• Quantitative logic
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• First-order fuzzy logic
• Mathematics behind fuzzy logic
• Metamathematics of fuzzy logic
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• \(L\)-valued propositional logic \(L_{\text{vpl}}\)
• On the logic foundation of fuzzy reasoning
• Triangular norm based predicate fuzzy logics
• Randomization of classical inference patterns and its application
• Which logic is the real fuzzy logic?
• A note to the definition of the Ł\(\Pi\)-algebras
• A New Proof of the Completeness of the Lukasiewicz Axioms
• On Fuzzy Logic I Many‐valued rules of inference
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
• ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft
• A theorem about infinite-valued sentential logic
• Axiom schemes for m-valued propositions calculi

This page was built for publication: A theorem about infinite-valued sentential logic