Search

Search Results

1. Aleatoric Propositions: Reasoning About Coins

   Aleatoric propositions are a generalisation of Boolean propositions, that are intrinsically probabilistic, or determined by the toss of a (biased)...

   Tim French in Logic, Language, Information, and Computation

   Conference paper 2023
   

2. Hyper-MacNeille Completions of Heyting Algebras

   J. Harding, F. M. Lauridsen in Studia Logica

   Article 26 March 2021

3. On the Logic of Belief and Propositional Quantification

   We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to...

   Yifeng Ding in Journal of Philosophical Logic

   Article Open access 05 April 2021

4. Grzegorczyk and Whitehead Points: The Story Continues

   The paper is devoted to the analysis of two seminal definitions of points within the region-based framework: one by Whitehead (1929) and the other by...

   Rafał Gruszczyński, Santiago Jockwich Martinez in Journal of Philosophical Logic

   Article 16 February 2024

5. Boolean product representations of algebras via binary polynomials

   We mimick the construction of guard algebras and show how to extract a Church algebra out of the binary functions on an arbitrary algebra, containing...

   Antonino Salibra, Antonio Ledda, Francesco Paoli in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

   Chapter 2018
   

6. Identity and Aboutness

   This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather...

   Benjamin Brast-McKie in Journal of Philosophical Logic

   Article Open access 25 October 2021

7. Profinite Locally Finite Quasivarieties

   Anvar M. Nurakunov, Marina V. Schwidefsky in Studia Logica

   Article 16 October 2023

8. Conservative Expansions of Substructural Logics

   In this paper we investigate several conservative expansions of substructural logics, and of fuzzy logics in particular. The most important are the...

   Jacopo Amidei, Rodolfo C. Ertola-Biraben, Franco Montagna in Hiroakira Ono on Substructural Logics

   Chapter 2022
   

9. Heyting \(\kappa \)-Frames

   Hector Freytes, Giuseppe Sergioli in Studia Logica

   Article Open access 07 October 2023

10. Finite Additivity, Complete Additivity, and the Comparative Principle

    In the longstanding foundational debate whether to require that probability is countably additive, in addition to being finitely additive, those who...

    Teddy Seidenfeld, Joseph B. Kadane, ... Rafael B. Stern in Erkenntnis

    Article Open access 29 February 2024

11. On informational injustice and epistemic exclusions

    Information is a unique resource. Asymmetries that arise out of information access or processing capacities, therefore, enable a distinctive form of...

    Abbas Bagwala in Synthese

    Article 03 June 2024

12. Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality

    The paper is in the field of region-based theory of space and time (RBTST). This is an extension of the region-based theory of space (RBTS) with...

    Dimiter Vakarelov in Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

    Chapter 2022
    

13. Traces in probability space

    Adrian Heathcote in Metascience

    Article 11 September 2022

14. A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras

    This chapter consists of two parts. PART I presents a few historical glimpses into the fascinating interplay between algebra and logic that...

    Hanamantagouda P. Sankappanavar in Handbook of Logical Thought in India

    Living reference work entry 2022
    

15. A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras

    This chapter consists of two parts. PART I presents a few historical glimpses into the fascinating interplay between algebra and logic that...

    Hanamantagouda P. Sankappanavar in Handbook of Logical Thought in India

    Reference work entry 2022
    

16. Classical Logic with n Truth Values as a Symmetric Many-Valued Logic

    A. Salibra, A. Bucciarelli, ... F. Paoli in Foundations of Science

    Article Open access 25 September 2020
    

17. Random World and Quantum Mechanics

    Quantum mechanics (QM) predicts probabilities on the fundamental level which are, via Born probability law, connected to the formal randomness of...

    Jerzy Król, Krzysztof Bielas, Torsten Asselmeyer-Maluga in Foundations of Science

    Article 27 June 2022
    

18. Bddl: A Type System for Binary Decision Diagrams

    Binary Decision Diagrams (BDDs) are compact data structures used to efficiently store and process boolean functions. BDDs have many uses, from system...

    Yousra Lembachar, Ryan Rusich, ... Gianfranco Ciardo in Tests and Proofs

    Conference paper 2022
    

19. On the Semilattice of Modal Operators and Decompositions of the Discriminator

    We investigate the join semilattice of modal operators on a Boolean algebra B. Furthermore, we consider pairs...

    Ivo Düntsch, Wojciech Dzik, Ewa Orłowska in Hajnal Andréka and István Németi on Unity of Science

    Chapter 2021
    

20. A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures

    We identify and highlight certain landmark results in Samson Abramsky’s work which we believe are fundamental to current developments and future...

    Mai Gehrke, Tomáš Jakl, Luca Reggio in Samson Abramsky on Logic and Structure in Computer Science and Beyond

    Chapter 2023