Switch to: References

Add citations

You must login to add citations.
  1. Lindenbaum-Type Logical Structures.Sayantan Roy, Sankha S. Basu & Mihir K. Chakraborty - 2023 - Logica Universalis 17 (1):69-102.
    In this paper, we study some classes of logical structures from the universal logic standpoint, viz., those of the Tarski- and the Lindenbaum-types. The characterization theorems for the Tarski- and two of the four different Lindenbaum-type logical structures have been proved as well. The separations between the five classes of logical structures, viz., the four Lindenbaum-types and the Tarski-type have been established via examples. Finally, we study the logical structures that are of both Tarski- and a Lindenbaum-type, show their separations, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Direct Proofs of Lindenbaum Conditionals.René Gazzari - 2014 - Logica Universalis 8 (3-4):321-343.
    We discuss the problem raised by Miller to re-prove the well-known equivalences of some Lindenbaum theorems for deductive systems without an application of the Axiom of Choice. We present five special constructions of deductive systems, each of them providing some partial solutions to the mathematical problem. We conclude with a short discussion of the underlying philosophical problem of deciding, whether a given proof satisfies our demand that the Axiom of Choice is not applied.
    Download  
     
    Export citation  
     
    Bookmark