[en] LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC

Autor: BERNARDO PINTO DE ALKMIM

[pt] A lógica descritiva intuicionista iALC foi criada para modelar e raciocinar sobre o domínio de Leis baseada na Jurisprudência Kelseniana [1]. No decorrer da década anterior, essa lógica foi usada de diversas maneiras para modelar normas ou

Externí odkaz: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=65956@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=65956@2

THE LOGIC ON LAWS IALC: IMPLEMENTATION OF SOUNDNESS AND COMPLETENESS PROOFS AND A PROPOSAL FOR FORM- ALIZATION OF BRAZILIAN LAW

Autor: BERNARDO PINTO DE ALKMIM

Publikováno v: Repositório Institucional da PUC-RIO (Projeto Maxwell)
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR PROGRAMA DE EXCELENCIA ACADEMICA A lógica iALC é uma lógica de descrição de caráter intuicionista, criada para lidar com textos

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca65e28ba8d30e353cfe767acac7db5b
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=47127@2