scientific article; zbMATH DE number 3595146
From MaRDI portal
zbMath0383.03003MaRDI QIDQ4160890
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Undecidability and degrees of sets of sentences (03D35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Computability and recursion theory (03D99) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items
A triangular-norm-based propositional fuzzy logic, Integrated semantics and logic metric spaces, Infinite systems of linear equations and mathematical logic, Negation and Implication in Quasi-Nelson Logic, Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems, An intrinsic fuzzy set on the universe of discourse of predicate formulas, On the extension of classical propositional logic by means of a triangular norm, The quasi-lattice of indiscernible elements, On the logic foundation of fuzzy reasoning, Formalized theory of general fuzzy reasoning., Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space, The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens, COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS, 1999 European Summer Meeting of the Association for Symbolic Logic, 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, Quantitative logic, Separable Boolean functions and generalized Fibonacci sequences, A topological characterization of consistency of logic theories in propositional logic, Study of decision implications based on formal concept analysis, Automorphisms moving all non-algebraic points and an application to NF, Non-fuzzy versions of fuzzy reasoning in classical logics, A new theory consistency index based on deduction theorems in several logic systems
