scientific article; zbMATH DE number 3200651
From MaRDI portal
Publication:5737076
zbMath0124.00205MaRDI QIDQ5737076
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Impossibility of defining the class of \(L_ 0\)-algebras by means of identities ⋮ On the proposition $C\delta CpqC\delta p\delta q$ with a variable functor ⋮ The broadest necessity ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ Implication, Equivalence, and Negation ⋮ Deontic logic as founded on nonmonotonic logic ⋮ On the propositional calculus with a variable functor, $C \delta pC \delta Np \delta q$ ⋮ Algebraic formulations of propositional calculi with variable forming functors ⋮ Some theorems in $B$-algebra ⋮ The elimination of \textit{de re} formulas ⋮ The shortest possible length of the longest implicational axiom ⋮ Negation and quantification in aristotle ⋮ On axiom systems of propositional calculi, I ⋮ An axiomatisation of a pure calculus of names ⋮ The logic of obligation and the obligations of the logician ⋮ Where is ‘There is’ in ‘∃’? ⋮ In What Sense is J.N. Findlay the Founding Father of Tense-logic? ⋮ On Implicative and Positive Implicative GE Algebras ⋮ French logique and British logic: on the origins of Augustus De Morgan's early logical inquiries, 1805--1835. ⋮ The logic of the future in quantum theory ⋮ Int-soft implicative hyper BCK-ideals in hyper BCK-algebras ⋮ The existential assumptions of traditional logic ⋮ Shortest axiomatizations of implicational S4 and S5 ⋮ The modal logic of agreement and noncontingency ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ The construction of formal logical systems without axioms ⋮ Notes on Mally's deontic logic and the collapse of \textit{Seinsollen} and \textit{Sein} ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Modal Objection to Naive Leibnizian Identity ⋮ Monadic pseudo BCI-algebras and corresponding logics ⋮ Fuzzy strong implicative hyper BCK-ideals of hyper BCK-algebras ⋮ Hyper BCK-ideals based on soft set theory ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures ⋮ A theory of necessities ⋮ Dialectical Contradictions and Classical Formal Logic ⋮ Semi-implication: A Chapter in Universal Logic ⋮ A.N. Prior and ‘The Nature of Logic’ ⋮ On axiom systems of propositional calculi, XIV ⋮ On axiom systems of propositional calculi, XV ⋮ On axiom systems of propositional calculi, XVII ⋮ On axiom systems of propositional calculi, XVIII ⋮ On axiom systems of propositional calculi, XIX ⋮ On axiom systems of propositional calculi, XX ⋮ On axiom systems of propositional calculi, XXIII ⋮ Double-negation elimination in some propositional logics ⋮ Depicting the Redundancy of Fourth Figure Using Venn-Peirce Framework
