Terminal de consulta web

Polynomial ring calculus for modalities

Polynomial ring calculus for modalities

Walter Agudelo-Agudelo Juan C. Carnielli

ARTIGO

Inglês

This article investigates new algebraic proof methods for the modal logics K, KD, T, S4, S5 and for intuitionistic logic. The methods are based on the polynomial ring calculus introduced in [6], and extend the results obtained in [1]. Several examples are

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO - CNPQ

FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULO - FAPESP

2010/51038-0

fechado

Modalidade (Lógica)
Anéis polinominais
Artigo original

DOI:

Texto completo:

Polynomial ring calculus for modalities

Walter Agudelo-Agudelo Juan C. Carnielli 

										

											
											
										

									

									

										

											

												
Polynomial ring calculus for modalities

											

												

														

		

							

					Walter Agudelo-Agudelo Juan C.  Carnielli
				

		

	


												

										

										
    
										
    
											
										
    
									
    
								
    
							
    
						
    
					
    
				
    
			
    
		
    
	
    

    

	

		
    
			
    
				
    
					
    
								
    Fontes
    
					
    
					
    
						
    
							
								
    
									
										
    
											
    
												
    
Journal of logic and computation												
    
											
    
											
    
												
    
											
    
											
    
												
    Vol. 27, no. 6 (Sept., 2017), p. 1853-1870