A theorem about infinite-valued sentential logic

DOI10.2307/2268660zbMath0043.00901OpenAlexW1989632075WikidataQ106866930 ScholiaQ106866930MaRDI QIDQ5804993

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)

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 ⋮ On the variety of Gödel MV-algebras ⋮ Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi ⋮ AF-algebras with lattice-ordered \(K_0\): logic and computation ⋮ On structural completeness of Lukasiewicz's logics ⋮ Sufficient triangular norms in many-valued logics with standard negation ⋮ Algebraic structures in fuzzy logic ⋮ Geometrical methods in Wajsberg hoops ⋮ On the complexity of validity degrees in Łukasiewicz logic ⋮ Consequence Relations with Real Truth Values ⋮ Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic ⋮ Fuzzy autoepistemic logic and its relation to fuzzy answer set programming ⋮ Complexity issues in Basic Logic

Cites Work

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