2 citations · 2 across the 5 of their papers we have counts for
6 papers
Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
Andrzej Indrzejczak, Michał Zawidzki
Non-Classical Logics. Theory and Applications (NCL) is an international conference which aims to present novel results and survey works in widely understood non-classical logics an…
Bisequent Calculi for Neutral Free Logic with Definite Descriptions
Andrzej Indrzejczak, Yaroslav Petrukhin
We present a bisequent calculus (BSC) for the minimal theory of definite descriptions (DD) in the setting of neutral free logic, where formulae with non-denoting terms have no trut…
Uniform Cut-free Bisequent Calculi for Three-valued Logics
Andrzej Indrzejczak, Yaroslav Petrukhin
We present a uniform characterisation of three-valued logics by means of the bisequent calculus (BSC). It is a generalised form of a sequent calculus (SC) where rules operate on th…
Definite Descriptions and Hybrid Tense Logic
Andrzej Indrzejczak, Michał Zawidzki
We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is formalised by means of a tableau calcul…
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications
Andrzej Indrzejczak, Michał Zawidzki
Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey works in widely understood non-classical logics and…
Tableaux for Free Logics with Descriptions
Andrzej Indrzejczak, Michał Zawidzki
The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomat…