scientific article; zbMATH DE number 3200651

Cited in

(55)

Impossibility of defining the class of $L_ 0$-algebras by means of identities
On the quasivariety of BCK-algebras and its subvarieties
Deontic logic as founded on nonmonotonic logic
The elimination of \textit{de re} formulas
French logique and British logic: on the origins of Augustus De Morgan's early logical inquiries, 1805--1835.
Shortest axiomatizations of implicational S4 and S5
The modal logic of agreement and noncontingency
The broadest necessity
The logic of the future in quantum theory
The shortest possible length of the longest implicational axiom
An axiomatisation of a pure calculus of names
Monadic pseudo BCI-algebras and corresponding logics
Learning from Łukasiewicz and Meredith: investigations into proof structures
A theory of necessities
Int-soft implicative hyper BCK-ideals in hyper BCK-algebras
Fuzzy strong implicative hyper BCK-ideals of hyper BCK-algebras
Hyper BCK-ideals based on soft set theory
Single axioms and axiom-pairs for the implicational fragments of $\mathbf{R} $, R-Mingle, and some related systems
Negation and quantification in aristotle
The logic of obligation and the obligations of the logician
The existential assumptions of traditional logic
The construction of formal logical systems without axioms
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
Notes on Mally's deontic logic and the collapse of \textit{Seinsollen} and \textit{Sein}
Modal objection to naive Leibnizian identity
Implication, Equivalence, and Negation
Dialectical contradictions and classical formal logic
Semi-implication: a chapter in universal 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
On the proposition C\delta CpqC\delta p\delta q with a variable functor
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
On axiom systems of propositional calculi, I
A.N. Prior and ‘The Nature of Logic’
Depicting the Redundancy of Fourth Figure Using Venn-Peirce Framework
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
Lemmas: generation, selection, application
Categorical Propositions and Existential Import: A Post-modern Perspective
Investigations into proof structures
Implicative pre-Hilbert algebras and their connections with other algebras of logic
Strong and weak ideals in BI-algebras
On pre-Hilbert and positive implicative pre-Hilbert algebras
Withered relevance. Evaluating the Anderson-Belnap account of relevant logics
The future of the present
Double-negation elimination in some propositional logics
On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5737076)