Browsing by Author Lewitzka, Steffen

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)
2007Abstract logics, logic maps, and logic homomorphismsLewitzka, Steffen
3-Jun-2016Application of boolean pre-algebras to the foundations of computer scienceLewitzka, Steffen; Novaes, Marcelo Pereira; Salvador, Lais do Nascimento; Melo, Rafael Augusto de
5-May-2016Combining intermediate propositional logics with classical logicLewitzka, Steffen
2012Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicateLewitzka, Steffen
2009Minimally generated abstract logicsLewitzka, Steffen; Brunner, Andreas Bernhard Michael
Showing results 1 to 5 of 5


    Universidade Federal da Bahia

Contate-nos. Saiba mais sobre o RI/UFBA