Search results
From MaRDI portal
- 2018-11-19 Paper Why fuss about these quirks of the vernacular? Propositional attitude sentences in Prior's \textit{nachlass} 2017-03-14 Paper...10 bytes (16 words) - 02:14, 25 September 2023
- Generalizations of enumeration reducibility using recursive infinitary propositional sentences 1993-04-01 Paper A construction for recursive linear orderings 1992-06-27...10 bytes (18 words) - 10:43, 6 October 2023
- within a deep geologic repository 2018-02-08 Paper Structured propositions and sentence structure 1997-05-13 Paper Intentional identity generalized 1993-05-16...10 bytes (18 words) - 11:55, 13 December 2023
- discourse to possible worlds 2006-08-18 Paper Arabic numerals in propositional attitude sentences 2006-06-26 Paper https://portal.mardi4nfdi.de/entity/Q3367498...10 bytes (18 words) - 04:34, 12 December 2023
- including non-Horn sentences in propositional logic 1986-01-01 Paper A new combination of input and unit deductions for Horn sentences 1984-01-01 Paper The...10 bytes (16 words) - 02:33, 25 September 2023
- including non-Horn sentences in propositional logic 1986-01-01 Paper A new combination of input and unit deductions for Horn sentences 1984-01-01 Paper The...10 bytes (16 words) - 09:45, 24 September 2023
- type account 2019-06-26 Paper Continuation Semantics for Multi-Quantifier Sentences: Operation-Based Approaches 2019-05-24 Paper co-Semi-analytic Functors...10 bytes (18 words) - 01:07, 12 December 2023
- PSPACE 2019-05-15 Paper On strong normalization in proof-graphs for propositional logic 2018-04-23 Paper https://portal.mardi4nfdi.de/entity/Q2959916 2017-02-10...10 bytes (17 words) - 18:35, 9 December 2023
- 2017-05-15 Paper A note on hereditarily Π10- and Σ10-complete sets of sentences 2017-01-31 Paper On Belnapian modal algebras: representations, homomorphisms...10 bytes (18 words) - 15:34, 11 December 2023
- theorem for intuitionistic propositional logic 2020-05-04 Paper INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC 2019-10-07...10 bytes (16 words) - 13:36, 28 January 2024
- fresh interpretation of conditional donkey sentences. 2017-09-04 Paper A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior...10 bytes (18 words) - 18:32, 6 October 2023
- 2019-09-06 Paper A propositional calculus for inconsistent deductive systems 2003-07-02 Paper On the discussive conjunction in the propositional calculus for...10 bytes (17 words) - 09:41, 24 September 2023
- Paper Basic propositional calculus. II: Interpolation 2001-01-01 Paper Basic logic, K4, and persistence 2000-08-23 Paper Basic Propositional Calculus I...10 bytes (16 words) - 22:25, 24 September 2023
- Evseev 2019-02-18 Paper Fatal Heyting algebras and forcing persistent sentences 2012-10-01 Paper List of publications 2012-10-01 Paper Spectral and T 0-Spaces...10 bytes (16 words) - 01:17, 12 December 2023
- and dually well-founded structures by monadic sentences 2015-07-15 Paper Parity Games and Propositional Proofs 2014-07-17 Paper Improved witnessing and...10 bytes (17 words) - 08:53, 7 October 2023
- 2016-09-15 Paper Henkin sentences and local reflection principles for Rosser provability 2015-11-18 Paper Rosser-type undecidable sentences based on Yablo's paradox...10 bytes (16 words) - 12:59, 6 October 2023
- postscript by Georg Kreisel). 2008-06-23 Paper Completeness theory for propositional logics 2007-07-27 Paper A proof system for classical logic 2006-01-30...10 bytes (16 words) - 21:20, 24 September 2023
- 1980-01-01 Paper A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) 1979-01-01 Paper Intuitionistic diagonalizable algebras...10 bytes (16 words) - 13:06, 11 December 2023
- mardi4nfdi.de/entity/Q5276740 2017-07-14 Paper UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC 2017-05-31 Paper https://portal.mardi4nfdi.de/entity/Q2984414...10 bytes (17 words) - 14:18, 10 December 2023
- distributive lattices 1967-01-01 Paper The separation theorem of intuitionist propositional calculus 1963-01-01 Paper Eigenvalues of sums of Hermitian matrices 1962-01-01...10 bytes (17 words) - 22:58, 12 December 2023
