Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Metatheory of Tableau Systems

2015/19/B/HS1/02478

Keywords:

branch completeness entailment formalization generalization inference metatheory proof soundness system tableau tableau metatheorem tableau rules

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • HS1_3: Epistemology (incl. sources of knowledge, criteria of truth, philosophy of language)
  • HS1_2: Ontology and metaphysics, particular ontologies

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

woj. kujawsko-pomorskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Tomasz Jarmużek 

Number of co-investigators in the project: 2

Call: OPUS 10 - announced on 2015-09-15

Amount awarded: 79 200 PLN

Project start date (Y-m-d): 2016-07-04

Project end date (Y-m-d): 2019-07-03

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (9)
  • Book publications / chapters in book publications (2)
  1. Bayesian propositional logic
    Authors:
    Tomasz Jarmużek, Mateusz Klonowski, Jacek Malinowski
    Academic press:
    Bulletin of the Section of Logic (rok: 2017, tom: 46/3-4, strony: 151-168), Wydawca: University of Lodz
    Status:
    Published
    DOI:
    10.18778/0138-0680.46.3.4.01 - link to the publication
  2. Defining cognitive logics by non-classical tableau rules
    Authors:
    Tomasz Jarmużek
    Academic press:
    STUDIES IN LOGIC, GRAMMAR AND RHETORIC (rok: 2016, tom: 48 (61), strony: 151-170), Wydawca: De Gruyter Open
    Status:
    Published
    DOI:
    10.1515/slgr-2016-0060 - link to the publication
  3. Modal Boolean Connexive Logics Semantics and tableau approach
    Authors:
    Tomasz Jarmużek, Jacek Malinowski
    Academic press:
    Bulletin of the Section of Logic (rok: 2019, tom: Vol. 48 No. 3, strony: 213-243), Wydawca: University of Lodz
    Status:
    Published
    DOI:
    10.18778/0138-0680.48.3.05 - link to the publication
  4. On logic of strictly-deontic modalities. A semantic and tableau approach
    Authors:
    Tomasz Jarmużek, Mateusz Klonowski
    Academic press:
    Logic and Logical Philosopy (rok: 2020, tom: Volume 29, strony: 335–380), Wydawca: Nicolaus Copernicus University in Toruń
    Status:
    Published
    DOI:
    10.12775/LLP.2020.010 - link to the publication
  5. Pure Modal Logic of Names and Tableau Systems
    Authors:
    Andrzej Pietruszczak, Tomasz Jarmużek
    Academic press:
    Studia Logica (rok: 2018, tom: 106/6, strony: 1261-1289), Wydawca: PAN/Springer Verlag
    Status:
    Published
    DOI:
    10.1007/s11225-018-9788-6 - link to the publication
  6. On some language extension of logic MR. A semantic and tableau approach
    Authors:
    Tomasz Jarmużek, Aleksander Parol
    Academic press:
    Roczniki Filozoficzne (rok: 2020, tom: 4, strony: ), Wydawca: Towarzystwo Naukowe KUL
    Status:
    Accepted for publication
  7. Boolean Connexive Logics: Semantics and tableau approach
    Authors:
    Tomasz Jarmużek, Jacek Malinowski
    Academic press:
    Logic and Logical Philosopy (rok: 2019, tom: 28, strony: 427–448), Wydawca: Nicolaus Copernicus University in Toruń
    Status:
    Published
    DOI:
    10.12775/LLP.2019.003 - link to the publication
  8. Knowability as de re modality. A certain solution to Fitch Paradox
    Authors:
    Tomasz Jarmuzek, Krzysztof Krawczyk, Rafał Palczewski
    Academic press:
    Roczniki Filozoficzne (rok: 2020, tom: 4, strony: ), Wydawca: Towarzystwo Naukowe KUL
    Status:
    Accepted for publication
  9. Formal theory of tableau systems for propositional logics
    Authors:
    Tomasz Jarmużek
    Academic press:
    Studia Logica , Wydawca: PAN/Springer Verlag
    Status:
    Submitted
  1. Tableau metatheory for syllogistic logics
    Authors:
    Tomasz Jarmużek, Rajeev Goré
    Book:
    Landscapes in Logic (rok: 2021, ), Wydawca: College Publications
    Status:
    Submitted
  2. Tableau systems for some relating logics
    Authors:
    Tomasz Jarmużek, Mateusz Klonowski
    Book:
    Logic in High Definition. Current issues on Logical Semantics (rok: 2021, tom: bd, strony: bd), Wydawca: Springer Verlag
    Status:
    Accepted for publication