scientific article
From MaRDI portal
Publication:3240239
zbMath0075.00702MaRDI QIDQ3240239
Publication date: 1956
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Did Descartes make a diagonal argument?, A simplified formalization of predicate logic with identity, The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic, Nonmonotonic reasoning with multiple belief sets, Contraction in propositional logic, Representing and Reasoning About Arguments Mined from Texts and Dialogues, Distributing equational theorem proving, An algebraic synthesis of the foundations of logic and probability, Special relations for formulae, their equivalence relations and theories, What is the world of mathematics?, Independence-friendly logic and axiomatic set theory, Gödel on Tarski, Generalized compactness of nonmonotonic inference operations, Three roads to complete lattices: orders, compatibility, polarity, An alternative propositional calculus for application to empirical sciences, Proof-theoretic pluralism, CHOICE-FREE STONE DUALITY, On consequence and rejection as operators, Tarski's theory of the formal correctness of definitions, Logic Discovered and Logic Imposed (A Purim Story), Levi and Harper identities for non-prioritized belief base change, Varieties of self-reference in metamathematics, Substitutional validity for modal logic, Truth: a concept unlike any other, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Metalogic, Schopenhauer and Universal Logic, Universality of Logic, Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems, Norms of truth and logical revision, Introduction. The School: Its Genesis, Development and Significance, The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper, Relation algebras of Sugihara, Belnap, Meyer, and Church, Mathematical modal logic: A view of its evolution, Ray on Tarski on logical consequence, The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness., Probability and time, Compactness theorems of fuzzy semantics, Emigration of mathematicians from outside German-speaking academia 1933-1963, supported by the society for the protection of science and learning, Nonclassical mereology and its application to sets, Nonmonotonic reasoning, preferential models and cumulative logics, Properties of goal systems: Consistency, conflict, and coherence, Exhibiting interpretational and representational validity, Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems, A semantic hierarchy for intuitionistic logic, On \(n \times m\)-valued Łukasiewicz-Moisil algebras, Compatibility, desirability, and the running intersection property, Experiments in the heuristic use of past proof experience, On exhibiting representational validity, Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras, Consequence mining. Constants versus consequence relations, Basis logic for application in physics and its intuitionistic alternative, Normal forms for connectedness in categories, Dag Prawitz on proofs, operations and grounding, The neglect of epistemic considerations in logic: the case of epistemic assumptions, REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES, Filter quotients and non-presentable \((\infty,1)\)-toposes, Developing bounded reasoning, On nonmonotonic consequence relations, Jump liars and Jourdain's card via the relativized T-scheme, THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS, Trust is all you need: from belief revision to information revision, The semantics of induction and the possibility of complete systems of inductive inference, CODE: A powerful prover for problems of condensed detachment, Aristotle'sPrior Analyticsand Boole'sLaws of Thought, Interpretation of De Finetti coherence criterion in Łukasiewicz logic, Fragments of Many-Valued Statement Calculi, Combinatorial systems. I: Cylindrical problems, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Proofs as schemas and their heuristic use, Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics, Universal Logic or Logics in Resemblance Families, Mereological relations, AUTOLOGY OF TIME*, Consequence Relations with Real Truth Values, Annotated revision programs, Comments on the Contributions
