Logic for abstract hoop twist-structures

DOI10.1016/J.APAL.2018.05.002MaRDI QIDQ720755zbMATH OpenOpenAlexWikidataFDO

Authors Shokoofeh Ghorbani

Publication date 17 July 2018

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2018.05.002

zbMATH Keywords

AHT-algebrahooptwist structurealgebraizable logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22) Basic properties of first-order languages and structures (03C07) General logic (03B99)

Recommendations

• Hoop twist-structures
• Implicative twist-structures
• Modal twist-structures over residuated lattices
• scientific article; zbMATH DE number 1960347
• Hoops and Fuzzy Logic

Cites work

• scientific article; zbMATH DE number 475196 (Why is no real title available?)
• A survey of abstract algebraic logic
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Algebraizable logics
• Basic hoops: an algebraic study of continuous t-norms
• Dualities for modal N4-lattices
• Hoop twist-structures
• Hoops and Fuzzy Logic
• Implicative twist-structures
• Modal twist-structures over residuated lattices
• On the structure of hoops
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic

Cited in

(4)

• Twist-structures semantics for the logics of the hierarchy \(I^nP^k\)
• Hoop twist-structures
• Implicative twist-structures
• (Dual) hoops have unique halving

This page was built for publication: Logic for abstract hoop twist-structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q720755)