Studia Logica · 1974 · 10 citations · 3 references
HumanitiesComputer ScienceLogicDeontic LogicMany-valued LogicPredicate LogicTruth-value Lattices
3
An axiom system for the modular logic
Jerzy Kotas · Studia Logica · 1967 · 43 citations
The axiomatization of S. Jaśkowski's discussive system
Jerzy Kotas · Studia Logica · 1974 · 34 citations
Humanities, Mathematics, Philosophy +12
Logical systems with implications
Jerzy Kotas · Studia Logica · 1971 · 12 citations