• polski
    • English
  • English 
    • polski
    • English
  • Login
Search 
  •   DSpace Home
  • Czasopisma naukowe/Scientific Journals
  • Bulletin of the Section of Logic
  • Search
  •   DSpace Home
  • Czasopisma naukowe/Scientific Journals
  • Bulletin of the Section of Logic
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

Author
Voutsadakis, George (3)
SubjectReferential Logics (2)Selfextensional Logics (2)03G27 (1)Behavioral Equivalence (1)Deductive Equivalence (1)Discrete Referential Semantics (1)Hidden Logic (1)Interpretability (1)Leibniz operator (1)Multi-Sorted Logic (1)... View MoreDate Issued2015 (1)2016 (1)2018 (1)Has File(s)Yes (3)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-3 of 3

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Categorical Abstract Algebraic Logic: Referential π-Institutions 

Voutsadakis, George (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 ...
Thumbnail

Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term Institutions 

Voutsadakis, George (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 ...
Thumbnail

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics 

Voutsadakis, George (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 ...

University of Lodz Repository

Contact Us | Send Feedback
 

 


University of Lodz Repository

Contact Us | Send Feedback