- The Method of Axiomatic Rejection for the Intuitionistic Propositional Logic.Rafal Dutkiewicz - 1989 - Studia Logica 48 (4):449-459.details
|
|
Metody refutacyjne w badaniach nad systemami logicznymi.Robert Sochacki - 2010 - Opole: Uniwersytet Opolski.details
|
|
Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.details
|
|
Aristotle's syllogistic from the standpoint of modern formal logic.Jan Łukasiewicz - 1957 - New York: Garland.details
|
|
On Pairs of Dual Consequence Operations.Urszula Wybraniec-Skardowska & Jacek Waldmajer - 2011 - Logica Universalis 5 (2):177-203.details
|
|
On comparison of theories by their contents.Jan Woleński - 1989 - Studia Logica 48 (4):617 - 622.details
|
|
Syntactic Refutations against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.details
|
|
Refutation calculi for certain intermediate propositional logics.Tomasz Skura - 1992 - Notre Dame Journal of Formal Logic 33 (4):552-560.details
|
|
S. Leśniewski's Calculus of Names.Jerzy Słupecki - 1984 - In Jan T. J. Srzednicki, V. F. Rickey & J. Czelakowski (eds.), Studia Logica. Distributors for the United States and Canada, Kluwer Boston. pp. 59--122.details
|
|
Proof of Ł-decidability of Lewis system S5.Jerzy Słupecki & Grzegorz Bryll - 1973 - Studia Logica 32 (1):99-105.details
|
|
Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński.Robert Sochacki - 2008 - Logic and Logical Philosophy 17 (4):321-327.details
|
|
Refutation Systems for a System of Nonsense-Logic.Robert Sochacki - 2011 - Logic and Logical Philosophy 20 (3):233-239.details
|
|
On Aristotelian Syllogistic.Jerzy Slpecki - 1951 - [S.N.].details
|
|
A łukasiewicz-style refutation system for the modal logic S.Tomasz Skura - 1995 - Journal of Philosophical Logic 24 (6):573 - 582.details
|
|
Completeness Proofs for the Intuitionistic Sentential Calculus.Dana Scott - 1960 - Journal of Symbolic Logic 25 (4):351-351.details
|
|
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.details
|
|
Proof of decidability of the traditional calculus of names.Bogusław Iwanuś - 1973 - Studia Logica 32 (1):131 - 147.details
|
|
On Leśniewski's Elementary Ontology.Boguslaw Iwanuś - 1984 - In Jan T. J. Srzednicki, V. F. Rickey & J. Czelakowski (eds.), Studia Logica. Distributors for the United States and Canada, Kluwer Boston. pp. 165--215.details
|
|
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.details
|
|
A meta-logic of inference rules: Syntax.Alex Citkin - 2015 - Logic and Logical Philosophy 24 (3).details
|
|
Zarys logiki matematycznej.Andrzej Grzegorczyk - 1969 - Warszawa,: Państwowe Wydawn. Naukowe.details
|
|
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.JAN LUKASIEWICZ - 1951 - Revue de Métaphysique et de Morale 57 (4):456-458.details
|
|
Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.details
|
|
On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency.Urszula Wybraniec-Skardowska - 2016 - Axioms 5 (15).details
|
|
Axiomatic rejection in the implicational-negational invariant sentential calculi of Lukasiewicz.Robert Sochacki - 2007 - Bulletin of the Section of Logic 36 (1/2):1-6.details
|
|
Teoria zdań odrzuconych.Urszula Wybraniec-Skardowska - 1969 - Dissertation, Opole Universitydetails
|
|
Refutations and proofs in S4.Tomasz Skura - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers.details
|
|
Dual counterparts of consequence operations.Ryszard Wójcicki - 1973 - Bulletin of the Section of Logic 2 (1):54-57.details
|
|