Search results
From MaRDI portal
- Publication Date of Publication Type PRIVATIVE NEGATION IN THE PORT ROYAL LOGIC 2017-05-31 Paper A Note on ‘Distributive Terms, Truth, andThe Port Royal...10 bytes (18 words) - 22:24, 8 December 2023
- Expressive Description Logics 2013-11-28 Paper Unary negation 2013-09-26 Paper Rewriting Guarded Negation Queries 2013-09-20 Paper On Core XPath with Inflationary...10 bytes (19 words) - 01:39, 10 December 2023
- Publication Date of Publication Type Double negation as minimal negation 2024-02-06 Paper On the provable contradictions of the connexive logics \(\mathbf{C}\)...10 bytes (16 words) - 10:50, 24 September 2023
- relation equations with the standard negation 2021-06-24 Paper Implication operators generating pairs of weak negations and their algebraic structure 2021-06-24...10 bytes (18 words) - 04:17, 12 December 2023
- filtering states 2011-01-12 Paper Fuzzy logics with an additional involutive negation 2010-03-18 Paper https://portal.mardi4nfdi.de/entity/Q5324443 2009-08-03...10 bytes (16 words) - 12:43, 8 December 2023
- https://portal.mardi4nfdi.de/entity/Q4287491 1994-10-19 Paper Logic programming and negation: A survey 1994-10-13 Paper Loop checking in partial deduction 1994-02-06...10 bytes (18 words) - 13:08, 13 December 2023
- de/entity/Q5499648 2015-07-30 Paper Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies 2014-06-10...10 bytes (16 words) - 18:15, 12 December 2023
- \(\mathcal{S}\) 2018-10-18 Paper Paraconsistent constructive logic with strong negation as a contraction-free relevant logic 2018-09-13 Paper VARIETIES OF SKEW...10 bytes (16 words) - 21:53, 11 December 2023
- de/entity/Q3425570 2007-02-26 Paper Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation 2007-02-13 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 01:08, 11 December 2023
- classical behavior of intuitionistic modalities 2017-05-18 Paper Double Negation Operator in Logic N ∗ 2016-07-22 Paper Finite model property for negative...10 bytes (17 words) - 17:02, 12 December 2023
- 2009-06-22 Paper Linear-size log-depth negation-limited inverter for \(k\)-tonic binary sequences 2009-03-20 Paper Negation-Limited Inverters of Linear Size...10 bytes (16 words) - 09:45, 24 September 2023
- and stratification 1992-06-25 Paper Negation in rule-based database languages: A survey 1991-01-01 Paper Negation by default and unstratifiable logic programs...10 bytes (17 words) - 09:02, 12 December 2023
- two kinds of negation 1994-02-17 Paper https://portal.mardi4nfdi.de/entity/Q4012257 1992-09-27 Paper Logic Programming with Strong Negation and Inexact...10 bytes (16 words) - 09:10, 13 December 2023
- de/entity/Q5276196 2017-07-14 Paper Equivalences among aggregate queries with negation 2017-07-12 Paper The complexity of existential quantification in concept...10 bytes (17 words) - 19:10, 12 December 2023
- 2022-11-21 Paper Estimating a probability distribution corresponding to the negation of a property 2022-11-21 Paper Extraction dependence structure of distorted...10 bytes (18 words) - 19:22, 13 December 2023
- 2017-01-26 Paper Guarded Negation 2016-03-24 Paper Querying the Guarded Fragment 2014-05-22 Paper Rewriting Guarded Negation Queries 2013-09-20 Paper https://portal...10 bytes (16 words) - 08:51, 6 October 2023
- applications 2000-08-14 Paper Object calculi in linear logic 2000-07-27 Paper Negation as instantiation 1996-04-22 Paper A model-theoretic reconstruction of the...10 bytes (16 words) - 03:23, 9 December 2023
- Proving completeness of logic programs with the cut 2017-02-14 Paper On negation as instantiation 2017-01-19 Paper On Completeness of Logic Programs 2015-10-02...10 bytes (16 words) - 04:36, 12 December 2023
- Publication Date of Publication Type A study of subminimal logics of negation and their modal companions 2023-12-01 Paper Nilpotency and the Hamiltonian...10 bytes (16 words) - 19:19, 24 September 2023
- de/entity/Q5212089 2020-01-24 Paper Classical negation strikes back: why Priest's attack on classical negation can't succeed 2018-01-12 Paper...10 bytes (18 words) - 12:22, 28 January 2024