Studia Logica · 1973 · 15 citations · 2 references
HumanitiesComputer ScienceMathematicsFormal MethodsKnowledge RepresentationLogicFirst-order LogicFormal Language FoundationsModal LogicModel TheoryPredicate LogicPropositional LogicCompleteness RelationsLogical CompletenessPropositional Calculus
2
J. Łoś, Roman Suszko · Indagationes Mathematicae (Proceedings) · 1958 · 294 citations
Humanities, Philosophy, Logic +11
Some remarks on the consequence operation in sentential logics
R. Wójcicki · Fundamenta Mathematicae · 1970 · 79 citations · Full text
Humanities, Philosophy, Logic +8