scientific article; zbMATH DE number 3204592
From MaRDI portal
Publication:5331452
zbMath0126.00705MaRDI QIDQ5331452
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Axiom systems of Aristotle traditional logic, III, A kind of logical compilation for knowledge bases, The resonance strategy, An algebra related with a propositional calculus, On axiom systems of propositional calculi, I, Using hints to increase the effectiveness of an automated reasoning program: Case studies, Definition and Inference in Leśniewski’s Logic, The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper, Many-Valued Logics in the Iberian Peninsula, The reasonableness of necessity., Leśniewski on metalogic and definitions, Comparing Fuzzy Numbers Using Defuzzificators on OFN Shapes, Fuzzy Numbers Applied to a Heat Furnace Control, Jesuit Probabilistic Logic between Scholastic and Academic Philosophy, Solving the \$100 modal logic challenge, Mathematical logic in Poland 1918–1939, THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS, A linear and discrete programming framework for representing qualitative knowledge, Tools for reformulating logical forms into zero-one mixed integer programs, On axiom systems of propositional calculi, IV, On axiom systems of propositional calculi, XIII, Axiom systems of $B$-algebra, IV, On axiom systems of propositional calculi, XXIV
