Search results
From MaRDI portal
- mathematical theories 2018-09-21 Paper On structural features of the implication fragment of Frege's \textit{Grundgesetze} 2017-10-11 Paper AXIOMS FOR FINITE...10 bytes (13 words) - 22:05, 24 September 2023
- modal logics 2023-07-06 Paper Unification with parameters in the implication fragment of classical propositional logic 2022-07-22 Paper On Provability...10 bytes (13 words) - 02:54, 7 October 2023
- Logic 2015-12-03 Paper Duality and Universal Models for the Meet-Implication Fragment of IPC 2015-12-03 Paper Logic and Learning 2015-05-11 Paper Comparing...10 bytes (21 words) - 00:17, 12 December 2023
- WORDS 2017-06-01 Paper Duality and Universal Models for the Meet-Implication Fragment of IPC 2015-12-03 Paper Distributive envelopes and topological duality...10 bytes (17 words) - 17:12, 11 December 2023
- Duality and Universal Models for the Meet-Implication Fragment of IPC 2015-12-03 Paper Relational semantics for a fragment of linear logic 2014-08-12 Paper Scalars...10 bytes (15 words) - 09:17, 7 October 2023
- Paper Universal models for the positive fragment of intuitionistic logic 2020-01-15 Paper A strict implication calculus for compact Hausdorff spaces 2019-10-07...10 bytes (13 words) - 13:46, 10 December 2023
- 1997-05-12 Paper A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus 1994-10-05 Paper https://portal...10 bytes (13 words) - 12:53, 28 January 2024
- 2000-08-14 Paper A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus 1994-10-05 Paper https://portal...10 bytes (13 words) - 13:37, 13 December 2023
- contraction-free logics 2012-06-01 Paper Admissible rules in the implication-negation fragment of intuitionistic logic 2011-09-12 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 15:51, 9 December 2023
- in Finite Algebras 2012-08-14 Paper Admissible rules in the implication-negation fragment of intuitionistic logic 2011-09-12 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 05:31, 7 October 2023
- ``A non-implication between fragments of Martin's axiom related to a property which comes from Aronszajn trees 2011-09-22 Paper A non-implication between...10 bytes (13 words) - 17:08, 6 October 2023
- 1980-01-01 Paper A completeness-proof method for extensions of the implicational fragment of the propositional calculus 1980-01-01 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 12:57, 24 September 2023
- Paper Pure three-valued Łukasiewiczian implication 1966-01-01 Paper Pure denumerable Łukasiewiczian implication 1966-01-01 Paper...10 bytes (16 words) - 09:04, 7 October 2023
- Publication Date of Publication Type On the algebraizability of the implicational fragment of abelian logic 2015-02-27 Paper Natural deduction and Curry's...10 bytes (13 words) - 09:33, 7 October 2023
- Publication Date of Publication Type On the algebraizability of the implicational fragment of abelian logic 2015-02-27 Paper A note on monothetic BCI 2007-08-01...10 bytes (13 words) - 16:27, 24 September 2023
- Paper On three implication-less fragments of t-norm based fuzzy logics 2007-10-29 Paper On two fragments with negation and without implication of the logic...10 bytes (15 words) - 00:47, 12 December 2023
- algebraic study of a fragment of concurrent propositional dynamic logic 2011-11-23 Paper Distributive lattices with a generalized implication: topological duality...10 bytes (15 words) - 20:25, 11 December 2023
- Publication Date of Publication Type Non-distributive positive logic as a fragment of first-order logic over semilattices 2024-02-08 Paper Positive modal...10 bytes (15 words) - 23:14, 24 September 2023
- Correction to “An equivalence between relational database dependencies and a fragment of propositional logic” 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4728289...10 bytes (15 words) - 17:05, 11 December 2023
- order types 2013-10-02 Paper How big is BCI fragment of BCK logic 2013-06-27 Paper Statistics of implicational logic 2013-06-06 Paper Asymptotically almost...10 bytes (15 words) - 02:07, 7 October 2023
