Concepedia

The axiomatization of S. Jaśkowski's discussive system

Studia Logica · 1974 · 34 citations · 2 references

On this page

Concepts

References

Concepts

HumanitiesMathematicsPhilosophyPhilosophy Of LanguagePhilosophy Of MathematicsPhilosophy Of ScienceArgumentationFormal Language FoundationsModel TheoryPredicate LogicAxiom SystemsAxiomatic Foundations Of GeometryAxiomaticsAxiomatizationAxioms

References

2

Propositional calculus for contradictory deductive systems

Stanisław Jaśkowski · Studia Logica · 1969 · 329 citations

Humanities, Computer Science, Knowledge Representation +12

Logical systems with implications

Jerzy Kotas · Studia Logica · 1971 · 12 citations

Humanities, Computer Science, Logic +7