Annals of Pure and Applied Logic · 2007 · 32 citations · 33 references
ComputingComputer ScienceMathematicsFormal MethodsLogicSet TheoryAutomated ReasoningAxiomatic Set TheoryFormal SemanticsFuzzy LogicMathematical LogicRule-based RepresentationFormal Proof SystemsFuzzy Inference SystemsFuzzy RelationsFuzzy Rule-based SystemsIntuitionistic Fuzzy Sets
33
A propositional calculus with denumerable matrix
Michael Dummett · Journal of Symbolic Logic · 1959 · 403 citations
AN INTRODUCTION TO THE THEORY OF THE BCK-ALGEBRAS
Kanesiroo Iseki, Shôtarô Tanaka · 1978 · 388 citations