Characterization of the reduced matrices for the {&,or}-fragment of classical logic

Bulletin of the Section of Logic, Tom 20, Numer 3-4 (1991) s. 124-129
Josep Maria Font, F. Guzman, Ventura Verdu

 

do góry