Search results

\(\mathrm{SIXTEEN}_3\) in light of routley stars 2020-03-04 Paper Negation as Cancellation, Connexive Logic, and qLPm 2019-03-19 Paper Bi-intuitionistic implication...

a Semantically Closed Theory with Descriptions 2000-04-25 Paper Negation as cancellation, and connexive logic 2000-03-19 Paper Semantic closure, descriptions...

2020-02-04 Paper Inference as doxastic agency. I: The basics of justification stit logic 2019-05-15 Paper Negation as Cancellation, Connexive Logic, and qLPm...

2011-05-11 Paper Cancellation in skew lattices 2011-03-31 Paper The Logic of Quasi-MV Algebras 2010-04-21 Paper Constructive logic with strong negation is a substructural...

A logic-based modelling of Prolog resolution sequences including the negation as failure rule 2001-09-04 Paper https://portal.mardi4nfdi.de/entity/Q2722042...

Paper Program composition via unification 2019-12-04 Paper Another plan for negation 2019-10-07 Paper Bilateralism, trilateralism, multilateralism and poly-sequents...

in Interval-Valued Atanassov’s Intuitionistic Fuzzy Sets — Conjugate and Negation Operators 2018-01-11 Paper Generalized interval-valued OWA operators with...

Challenge Met 2022-12-12 Paper Paraconsistent constructive logic with strong negation as a contraction-free relevant logic 2018-09-13 Paper Formalizing a fragment...

strong induced negations (I) Rotation construction 2004-01-13 Paper Structure of left-continuous triangular norms with strong induced negations (II) Rotation-annihilation...

2022-03-24 Paper Computational complexity for bounded distributive lattices with negation 2021-06-14 Paper Complexity of the universal theory of modal algebras 2020-03-27...

subminimal logics of negation and their modal companions 2023-12-01 Paper Nilpotency and the Hamiltonian property for cancellative residuated lattices 2022-06-08...

have a continuous contour line 2007-05-04 Paper Negation and affirmation: the role of involutive negators 2007-05-03 Paper Representation and construction...

for the characterization of \((S,N)\)-implications with a non-continuous negation based on completions of t-conorms 2023-10-30 Paper Characterization of...

https://portal.mardi4nfdi.de/entity/Q3757893 1985-01-01 Paper The word problem for cancellation semigroups with zero 1984-01-01 Paper The Theory of Ordered Abelian Groups...

bipartite graphs 2017-09-12 Paper \(T\)-subnorms with strong associated negation: some properties 2017-08-15 Paper Bijective transformations of fuzzy implications...

quiver representations over $\mathbb{F}_1$ 2020-08-25 Paper Categories with negation 2020-07-23 Paper Hopf algebras for matroids over hyperfields 2020-05-11...

learning 2023-11-02 Paper Research on dual-channel nonlinear acoustic echo cancellation in \(\alpha\)-stable distributed noise environment 2023-05-12 Paper A...

bounded posets via multiplicative generators 2024-06-01 Paper On the cancellation problem for quantales 2023-12-02 Paper Local Yoneda completions of quasi-metric...

2012-03-09 Paper Constructive Logic with Strong Negation as a Substructural Logic 2010-08-26 Paper Residuated Lattices as an Algebraic Semantics for Paraconsistent...

de/entity/Q5869601 2022-09-28 Paper Extending the Lambek calculus with classical negation 2022-03-23 Paper On sets of linear forms of maximal complexity 2021-10-09...