Discussive sentential calculus of Jaśkowski

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

Humanities, Computer Science, Logic +7

On the algebra of classes of formulae of Jaśkowski's discussive system

Jerzy Kotas · Studia Logica · 1971 · 10 citations

Natural Sciences, Mathematics, Algebra +6

On quantity of logical values in the discussive D2 system and in modular logic

Jerzy Kotas · Studia Logica · 1974 · 10 citations

Humanities, Computer Science, Logic +4