Loading...
Please wait, while we are loading the content...
Similar Documents
Pseudo-referential Matrix Semantics for Propositional Logics
| Content Provider | Semantic Scholar |
|---|---|
| Author | Malinowski, Grzegorz |
| Copyright Year | 2008 |
| Abstract | Dedicated to Professor Ryszard Wójcicki on his successive birthday Referential matrix semantics of R. Wójcicki [5] and [4] is extended to cover the class of all structural propositional calculi. L is used to denote a propositional language (an algebra of formulas with L being the set of its elements. C is a structural consequence operation and just in that sense (L, C) is called a propositional logic. All other notation is either borrowed from [3] or it already appears in other works we are referring to. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.filozof.uni.lodz.pl/prac/gm/papers/GM23.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |