Opis

• Tytuł:
  Converse Ackermann property and constructive negation defined with a negation connective
• Twórca:
  Robles, Gemma;
  Méndez, José M.
• Opis:
  The Converse Ackermann Property is the unprovability of formulas of the form (A -> B) -> C when C does contain neither -> nor ¬. Intuitively, the CAP amounts to rule out the derivability of pure non-necessitive propositions from non-necessitive ones. A constructive negation of the sort historically defined by, e.g., Johansson is added to positive logics with the CAP in the spectrum delimited by Ticket Entailment and Dummett’s logic LC.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2006.06.26
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 15 No. 2 (2006); 113-130;
  Logic and Logical Philosophy; Tom 15 Nr 2 (2006); 113-130;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2006.007/1484
• Temat i słowa kluczowe:
  converse Ackermann property;
  constructive negation;
  relational ternary semantics;
  Relevance logics
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2006.007
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty