Showing 1–7 of 7 results for author: Indrzejczak, A

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications

Authors: Andrzej Indrzejczak, Michał Zawidzki

Abstract: 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 and their applications. This year's edition was also an opportunity to hold a special session devoted to the ERC-funded project "ExtenDD" devoted to complex terms and term-forming operators. 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 and their applications. This year's edition was also an opportunity to hold a special session devoted to the ERC-funded project "ExtenDD" devoted to complex terms and term-forming operators. △ Less

Submitted 28 December, 2024; originally announced December 2024.

Journal ref: EPTCS 415, 2024

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions

Authors: Andrzej Indrzejczak, Nils Kürbis

Abstract: We present a sequent calculus for first-order logic with lambda terms and definite descriptions. The theory formalised by this calculus is essentially Russellian, but avoids some of its well known drawbacks and treats definite description as genuine terms. A constructive proof of the cut elimination theorem and a Henkin-style proof of completeness are the main results of this contribution. We present a sequent calculus for first-order logic with lambda terms and definite descriptions. The theory formalised by this calculus is essentially Russellian, but avoids some of its well known drawbacks and treats definite description as genuine terms. A constructive proof of the cut elimination theorem and a Henkin-style proof of completeness are the main results of this contribution. △ Less

Submitted 4 December, 2024; originally announced December 2024.

Bisequent Calculi for Neutral Free Logic with Definite Descriptions

Authors: Andrzej Indrzejczak, Yaroslav Petrukhin

Abstract: 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 truth value. The treatment of quantifiers, atomic formulae and simple terms is based on the approach developed by Pavlović and Gratzl. We extend their results to the version with identity and definite descriptions. In partic… ▽ More 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 truth value. The treatment of quantifiers, atomic formulae and simple terms is based on the approach developed by Pavlović and Gratzl. We extend their results to the version with identity and definite descriptions. In particular, the admissibility of cut is proven for this extended system. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Uniform Cut-free Bisequent Calculi for Three-valued Logics

Authors: Andrzej Indrzejczak, Yaroslav Petrukhin

Abstract: 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 the ordered pairs of ordinary sequents. BSC may be treated as the weakest kind of system in the rich family of generalised SC operating on items being some collections of ordinary sequents, like hypersequent and nested seq… ▽ More 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 the ordered pairs of ordinary sequents. BSC may be treated as the weakest kind of system in the rich family of generalised SC operating on items being some collections of ordinary sequents, like hypersequent and nested sequent calculi. It seems that for many non-classical logics, including some many-valued, paraconsistent and modal logics, the reasonably modest generalisation of standard SC offered by BSC is sufficient. In this paper we examine a variety of three-valued logics and show how they can be formalised in the framework of BSC. We present a constructive syntactic proof provided that these systems are cut-free, satisfy the subformula property, and allow one to prove the interpolation theorem in many cases. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Journal ref: Logic and Logical Philosophy. Vol. 33, no. 3, pp. 463--506. 2024

Definite Descriptions and Hybrid Tense Logic

Authors: Andrzej Indrzejczak, Michał Zawidzki

Abstract: 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 calculus working on sat-formulas. A particular theory of DD exploited here is essentially based on the approach of Russell, but with descriptions treated as genuine terms. However, the reductionist aspect of the Russellian app… ▽ More 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 calculus working on sat-formulas. A particular theory of DD exploited here is essentially based on the approach of Russell, but with descriptions treated as genuine terms. However, the reductionist aspect of the Russellian approach is retained in several ways. Moreover, a special form of tense definite descriptions is formally developed. A constructive proof of the interpolation theorem for this calculus is given, which is an extension of the result provided by Blackburn and Marx. △ Less

Submitted 2 December, 2024; originally announced December 2024.

ACM Class: I.2.3; I.2.4

Journal ref: Synthese 202, 98 (2023)

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications

Authors: Andrzej Indrzejczak, Michał Zawidzki

Abstract: 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 their applications. This year's edition was also an opportunity to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic (BSL), established in 1971 and since then published by the Universit… ▽ More 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 their applications. This year's edition was also an opportunity to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic (BSL), established in 1971 and since then published by the University of Lodz. On this occassion a number of renowned researchers having bonds with BSL were asked to deliver invited talks. Additionally, during the conference a special session was held commemorating J. Michael Dunn, outstanding logician and collecting editor of BSL, who passed away in 2021. Finally, collocated with the conference were three workshops devoted to, subsequently, non-Fregean logics, relating logics, and formal ontology, as well as a tutorial on graded logic. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Journal ref: EPTCS 358, 2022

Tableaux for Free Logics with Descriptions

Authors: Andrzej Indrzejczak, Michał Zawidzki

Abstract: 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 axiomatically in the setting of free logic. We consider five analytic tableau systems corresponding to different kinds of free logic, including the logic of definedness applied in computer science and constructive mathematics f… ▽ More 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 axiomatically in the setting of free logic. We consider five analytic tableau systems corresponding to different kinds of free logic, including the logic of definedness applied in computer science and constructive mathematics for dealing with partial functions (here called negative quasi-free logic). The tableau systems formalise MFD based on PFL (positive free logic), NFL (negative free logic), PQFL and NQFL (the quasi-free counterparts of the former ones). Also the logic NQFLm is taken into account, which is equivalent to NQFL, but whose language does not comprise the existence predicate. It is shown that all tableaux are sound and complete with respect to the semantics of these logics. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Comments: This is a full version of a conference paper that will appear in the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)

MSC Class: 03B22; 03B35 (Primary) 03B10; 03A05 (Secondary) ACM Class: F.4.1; I.2.3; I.2.4