Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: On the Inconsistency of Classical Propositional Calculus / Teodor J. Stępień and Łukasz T. Stępień ¬ródło: Journal of Mathematics and System Science. - 2020, Vol. 10, nr 1, s. 13-14 Typ publikacji: ZAA Język publikacji: ENG Punktacja MNiSW: 5.000 p-ISSN: 2159-5291 e-ISSN: 2159-5305 Adres url: DOI:
2/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: On the Consistency of the Arithmetic System / Teodor J. Stępień, Łukasz T. Stępień ¬ródło: Journal of Mathematics and System Science. - 2017, Vol. 7, nr 2, s. 43-55 Typ publikacji: ZAA Język publikacji: ENG Punktacja MNiSW: 4.000 p-ISSN: 2159-5291 Liczba arkuszy: 0,5 Adres url: DOI:
3/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: Theorem on Inconsistency of The Classical Logic / Łukasz T. Stępień, T. J. Stępień ¬ródło: World Academy of Sciences Engineering and Technology. - 2017, Vol. 19, iss. 9, s. 1558 Typ publikacji: ZAS Język publikacji: ENG p-ISSN: 2010-376X e-ISSN: 2010-3778 Adres url:
4/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: The formalization of the arithmetic system on the ground of the atomic logic / Teodor J. Stępień, Łukasz T. Stępień ¬ródło: The Bulletin of Symbolic Logic. - 2016, Vol. 22, nr 3, s. 434-435 Uwagi: Abstrakt w artykule "2015 European Summer Meeting of the Association for Symbolic Logic : Logic Colloquium '15 Helsinki, Finland August 3-8, 2015". Typ publikacji: ZAS Język publikacji: ENG p-ISSN: 1079-8986 e-ISSN: 1943-5894
5/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: Atomic entailment and atomic inconsistency and classical entailment / Teodor J. Stepień, Łukasz T. Stepień ¬ródło: Journal of Mathematics and System Science. - 2015, Vol. 5, nr 2, s. 60-71 Typ publikacji: ZAA Język publikacji: ENG p-ISSN: 2159-5291 e-ISSN: 2159-5305 Adres url: DOI:
6/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: The Formalization of The Arithmetic System on The Ground of The Atomic Logic / Teodor J. Stepień, Łukasz T. Stepień ¬ródło: Journal of Mathematics and System Science. - 2015, Vol. 5, nr 9, s. 364-368 Typ publikacji: ZAA Język publikacji: ENG p-ISSN: 2159-5291 e-ISSN: 2159-5305 Adres url: DOI:
7/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: The Scope of the Structural Completeness in the Class of all Over-Systems of the Classical Functional Calculus with Identity / Teodor J. Stepień, Łukasz T. Stepień ¬ródło: Journal of Mathematics and System Science. - 2014, Vol. 4, nr 6, s. 411-420 Typ publikacji: ZAA Język publikacji: ENG Punktacja MNiSW: 4.000 p-ISSN: 2159-5291 e-ISSN: 2159-5305 Adres url: DOI:
8/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: Consistency of Peano's Arithmetic System and Structural Incompleteness of Peano's Arithmetic System / Teodor J. Stepień, Łukasz T. Stepień ¬ródło: W: IECMSA-2013, 2nd International Eurasian Conference on Mathematical Sciences and Applications, 26-29 August 2013, Sarajevo, Bosnia and Herzegovina : proceeding book Adres wydawniczy: Sarajevo : s.n., 2013 Opis fizyczny: S. 405-406 Typ publikacji: ZRA Język publikacji: ENG Adres url:
9/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: Atomic entailment and classical entailment / Teodor J. Stępień, Łukasz T. Stępień ¬ródło: The Bulletin of Symbolic Logic. - 2011, Vol. 17, nr 2, s. 317-318 Typ publikacji: ZRA Język publikacji: ENG Punktacja MNiSW: 35.000
10/10
Autorzy: Teodor Stępień, Łukasz T. Stępień. Tytuł: On the consistency of Peano's Arithmetic System / Teodor J. Stępień, Łukasz Stępień ¬ródło: The Bulletin of Symbolic Logic. - 2010, Vol. 16, nr 1, s. 132 Typ publikacji: ZAA Język publikacji: ENG Punktacja MNiSW: 32.000
