Parcourir par

  • Revues
  • Séminaires
  • Livres
  • Congrès
  • Sources

Geodesic


    Parcourir par

    • Revues
    • Séminaires
    • Livres
    • Congrès
    • Sources
Bulletin of the Section of Logic
Tome 52 (2023)
no. 4
Précédent Suivant

Volume 52 (2023) no. 4

Sommaire


Extended BCK-Ideal Based on Single-Valued Neutrosophic Hyper BCK-Ideals
Hamidi, Mohammad 
p. 411-440

Fundamental Relation on \((H_{v})BE\)-Algebras
Iranmanesh, Farzad ;  Ghadiri, Mansour ; Borumand Saeid, Arsham 
p. 441-458

Cut Elimination for Extended Sequent Calculi
Martini, Simone ;  Masini, Andrea ; Zorzi, Margherita
p. 459-495

On Implicative and Positive Implicative GE Algebras
Walendziak, Andrzej 
p. 497-515

A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Coniglio, Marcelo Esteban ;  de Toledo, Guilherme Vicentin 
p. 517-550

The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
Adlešić, Tin ; Čačić, Vedran 
p. 551-581
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité