Przeglądaj Bulletin of the Section of Logic według tytułu
Wyświetlanie pozycji 13-32 z 183
-
B-almost distributive fuzzy lattice
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)The paper introduces the concept of B-Almost distributive fuzzy lattice (BADFL) in terms of its principal ideal fuzzy lattice. Necessary and sufficient conditions for an ADFL to become a B-ADFL are investigated. We also ... -
Basic Four-Valued Systems of Cyclic Negations
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-10-25)We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation ... -
Bayesian Propositional Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w , where w is a probability function on a Boolean ... -
A Benchmark Similarity Measures for Fermatean Fuzzy Sets
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-08)In this paper, we utilized triangular conorms (S-norm). The essence of using S-norm is that the similarity order does not change using different norms. In fact, we are investigating for a new conception for calculating the ... -
Bilateral Rules as Complex Rules
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-07-18)Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially ... -
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)This paper presents a way of formalising definite descriptions with a binary quantifier ℩, where ℩x[F, G] is read as `The F is G'. Introduction and elimination rules for ℩ in a system of intuitionist negative free logic ... -
Cantor on Infinitesimals. Historical and Modern Perspective
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)In his 1887's Mitteilungen zur Lehre von Transfiniten, Cantor seeks to prove inconsistency of infinitesimals. We provide a detailed analysis of his argument from both historical and mathematical perspective. We show that ... -
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-09-28)In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal ... -
Categorical Abstract Algebraic Logic: Referential π-Institutions
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of ... -
Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the ... -
Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with ... -
Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-08-02)The categorical dualities presented are: (first) for the category of bi-algebraic lattices that belong to the variety generated by the smallest non-modular lattice with complete (0,1)-lattice homomorphisms as morphisms, ... -
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-08-16)It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (\(\textit{CABA}\)s) taking a set to its power-set and, conversely, a complete, atomic Boolean algebra to its set of atomic ... -
Characterization of Birkhoff’s Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)In the paper we investigate Birkhoff’s conditions (Bi) and (Bi*). We prove that a discrete lattice L satisfies the condition (Bi) (the condition (Bi*)) if and only if L is a 4-cell lattice not containing a cover-preserving ... -
A Classification of Improper Inference Rules
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-06-23)In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to ... -
Closure Operators on Complete Almost Distributive Lattices-III
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)In this paper, we prove that the lattice of all closure operators of a complete Almost Distributive Lattice L with fixed maximal element m is dual atomistic. We define the concept of a completely meet-irreducible element ... -
Common Knowledge, Common Attitudes and Social Reasoning
(Wydawnictwo Uniwersytetu Łódzkiego, 2021-06-30)For as long as there have been theories about common knowledge, they have been exposed to a certain amount of skepticism. Recent more sophisticated arguments question whether agents can acquire common attitudes and whether ... -
Commutative Energetic Subsets of BCK-Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)The notions of a C-energetic subset and (anti) permeable C-value in BCK-algebras are introduced, and related properties are investigated. Conditions for an element t in [0, 1] to be an (anti) permeable C-value are provided. ... -
A comparison of two systems of point-free topology
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was ... -
Complete Representations and Neat Embeddings
(Wydawnictwo Uniwersytetu Łódzkiego, 2022-09-09)Let \(2<n<\omega\). Then \({\sf CA}_n\) denotes the class of cylindric algebras of dimension \(n\), \({\sf RCA}_n\) denotes the class of representable \(\sf CA_n\)s, \({\sf CRCA}_n\) denotes the class of completely ...